Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🕸️ Graph Algorithms
Dominator Trees, Control Flow Graphs, Shortest Paths, Traversal
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
82822
posts in
478.5
ms
A Structural Equivalence of Symmetric
TSP
to a Constrained Group
Steiner
Tree Problem
arxiv.org
·
2d
🧩
Constraint Solvers
What should I program?
jamesmcm.github.io
·
2h
🏗️
Minimal Compilers
Early History of a Perfect Join
Algorithm
remy.wang
·
13h
📈
Query Optimization
Intersection
of Two Linked
Lists
dev.to
·
1d
·
Discuss:
DEV
⏭️
Skip Lists
Deep dive into
Hierarchical
Navigable
Small Worlds
amandeepsp.github.io
·
11h
·
Discuss:
r/Zig
,
r/programming
🤐
Zipper Structures
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
2d
·
Discuss:
Hacker News
🌊
Reactive Languages
Oatmeal
-
Constraint
propagation for fun
eli.li
·
8h
🧩
Constraint Solvers
Adaptive
Neuro-Symbolic
Planning for smart agriculture
microgrid
orchestration in hybrid quantum-classical pipelines
dev.to
·
1h
·
Discuss:
DEV
🏛️
Elm Architecture
B-tree
Ordered
Containers
abseil.io
·
13h
🌳
B+ Trees
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
2h
·
Discuss:
Hacker News
🎭
Program Synthesis
GEORCE
: A Fast New Control Algorithm for Computing
Geodesics
arxiv.org
·
2d
🌊
Loop Invariant Motion
The
wonders
of
cooperative
inheritance, or using super in Python 3
artima.com
·
13h
🔄
Subinterpreters
Constrained parallel
tempering
in
traveling-salesman
problems with circular neighborhoods
link.aps.org
·
1d
⏭️
Skip Lists
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
6h
·
Discuss:
Hacker News
🏰
Capability Machines
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
1d
📡
Erlang BEAM
hanig/engram
: Personal knowledge graph and automation system
github.com
·
9h
🔄
Incremental Lexing
Geospatial
System Design
Patterns
systemdr.substack.com
·
7h
·
Discuss:
Substack
💾
Persistent Heaps
News for January 2026
ptreview.sublinear.info
·
2d
📐
Succinct Data Structures
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
π
Pi Calculus
Using Rust to Delete
Gitignored
Cruft
forrestthewoods.com
·
13h
🔒
Rust Borrowing
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help